
int x, y;
void init()
{
    x = y = 0;
}

void t1()
{
    x = y + 1; // 写入x，读取y
}

void t2()
{
    print(y + x);
}

void thread1()
{
    t1();
}

void thread2()
{
    t1();
}

int main()
{
}